logic programming

美 　英

• un.邏輯程序設(shè)計
• 網(wǎng)絡(luò)邏輯編程；邏輯規(guī)劃；邏輯程式

英漢解釋

un.	1. 邏輯程序設(shè)計

例句

In terms of the visual logic programming, the thesis proposes the visual logic programming well applied in the equipment.

在可視化邏輯編程方面文章給出了一種適合本裝置的可視化編程的實現(xiàn)方案。

Subsequently, the article will set out the general framework and the logic programming.

隨后，將闡述項目的方案與總體架構(gòu)，并介紹本項目的邏輯規(guī)劃。

General logic programming is an important knowledge representation tool, and is an area of nonmonotonic reasoning.

一般邏輯程序是知識表示的重要工具，也是非單調(diào)推理研究的領(lǐng)域之一。

Design electrical lighting and motion control systems, including control logic programming and harness layout.

設(shè)計電氣照明和控制系統(tǒng)，包括控制邏輯程序和動力設(shè)計。

Complexity of business logic programming.

業(yè)務(wù)邏輯編程的復(fù)雜性。

We introduce automatic reasoning and logic programming in Chapter 9.

第九章介紹自動推理和邏輯編形式邏輯正確性邏輯程。

Extending the Argumentation-theoretical Foundation for Abductive Logic Programming

拓展溯因邏輯程序設(shè)計的辯論理論基礎(chǔ)

A Study of Constraint Inductive Logic Programming

約束歸納邏輯程序設(shè)計的研究

Application of Logic Programming in Relation Database Data Integrity Constraint

邏輯程序在關(guān)系數(shù)據(jù)庫完整性約束中的應(yīng)用

Growth Phenomenon of Individuals'Code Length in Genetic Inductive Logic Programming

遺傳歸納邏輯程序設(shè)計的個體編碼生長現(xiàn)象

Approach to Constraint Inductive Logic Programming

約束歸納邏輯程序設(shè)計方法的研究

Write an application in a logic programming language

用邏輯編程語言寫一個應(yīng)用

Research on Dynamic Fuzzy Logic Programming Language

動態(tài)模糊邏輯程序設(shè)計語言探討

Flexible scheduling based on constraint logic programming and genetic algorithms

基于約束邏輯規(guī)劃和遺傳算法的柔性調(diào)度

Introduction to Inductive Logic Programming

歸納邏輯程序設(shè)計綜述

Research on Logic Programming and Databases

邏輯程序與數(shù)據(jù)庫研究

Logic and Inductive Logic Programming

邏輯與歸納邏輯程序設(shè)計

Theory and Practice of Logic Programming

邏輯程序設(shè)計理論與實踐

Excavation of Peculiar Rules Based on Inductive Logic Programming

基于歸納邏輯程序設(shè)計的特異規(guī)則挖掘

The Journal of Logic Programming

邏輯程序設(shè)計雜志